_∨_

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 _∨_
_→_
_↔_
_←_
_⊕_
_↛_
_↚_
Argument 2 _∧_
_∨_
_⊕_
_→_
_↔_
_←_
_↛_
_↚_

Definitions:

expression phrase ⇒ boolean, expression phrase ⇒ boolean
Source: /avail/Avail/Foundation/Early Logic
Categories: Primitives, Logic
Given two arbitrary boolean -valued phrase s, answer a logical disjunction, i.e., OR, phrase. The resulting phrase short-circuits the computation, i.e., only evaluates b if a is false.
Position Name Type Description
Parameters
1 a expression phrase ⇒ boolean An expression phrase that yield a boolean.
2 b expression phrase ⇒ boolean An expression phrase that yield a boolean.
Returns send phrase ⇒ boolean a ∧ b.
boolean, []→boolean
Source: /avail/Avail/Foundation/Early Logic
Categories: Primitives, Logic
Compute and answer the logical disjunction, i.e., OR, of the arguments. Short-circuit the computation, i.e., only evaluate b if a is false.
Position Name Type Description
Parameters
1 a boolean A boolean.
2 b []→boolean A boolean function.
Returns ⊤ a ∨ b, strengthened to boolean later.

Semantic restrictions:

boolean's type, []→boolean's type
Source: /avail/Avail/Foundation/Early Logic
Improve on Primitive 45's return type.
Type Description
Parameter Types
boolean's type
[]→boolean's type
boolean's type, []→boolean's type
Source: /avail/Avail/Foundation/Early Logic
If the right-hand argument of _∨_ is known statically to be true, then the expression is also known statically to be true.
Type Description
Parameter Types
boolean's type
[]→boolean's type
false's type's type, []→boolean's type
Source: /avail/Avail/Foundation/Early Logic
If the left-hand argument of _∨_ is known statically to be false, then the static type of the expression is b 's return type.
Type Description
Parameter Types
false's type's type
[]→boolean's type
true's type's type, []→boolean's type
Source: /avail/Avail/Foundation/Early Logic
If the left-hand argument of _∨_ is known statically to be true, then the expression is also known statically to be true.
Type Description
Parameter Types
true's type's type
[]→boolean's type